basic
StAntiSym(T;x,y.R(x;y)) == x, y:T. (R(x;y) & R(y;x)) 

latex

---

clarification:

basic
StAntiSym(T;x,y.R(x;y)) == x:T, y:T. (R(x;y) & R(y;x)) 

latex

Up	rel 1, rel 1
Wellformedness Lemmas	st anti sym wf, st anti sym wf
Definitions	x:A. B(x), A, P & Q
FDL editor aliases	st_anti_sym